On a small cancellation theorem of Gromov

On a small cancellation theorem of Gromov

We give a combinatorial proof of a theorem of Gromov, which extends the scope of small cancellation theory to group presentations arising from

A Remark on the Gromov Convergence Theorem

In [3] M. Gromov introduced the concept of convergence of Riemannian manifolds and he proved the convergence theorem. Since that time the theorem has been developed in detail (see [5], [7], [2]), and we know that it contains some interesting applications. Nevertheless there seems to be an inadequate way of applying the convergence theorem. The purpose of this paper is to present an example whic...

Cancellation theorem

A Cancellation Theorem for Ideals

We prove cancellation theorems for special ideals in Gorenstein local rings. These theorems take the form that if KI ⊆ JI, then K ⊆ J.

A Cancellation Theorem for BCCSP

This paper presents a cancellation theorem for the preorders in van Glabbeek’s linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the proven cancellation result plays a crucial role in the study of the cover equations, in the sense of Fokkink and Nain, that characterize the studied semantics. The techniques used in the proof of the cancellation theorem ma...